大规模多状态计算系统的容错性能分析

针对异构计算节点组成的大规模多状态计算系统的容错性能分析问题，提出了一种计算系统容错性能的评估方法。该方法采用自定义的两级容错性能形式化描述框架进行系统描述，通过构造多值决策图（Multi-value Decision Diagram，MDD）模型对系统进行容错性能建模，并基于构造的模型高效地计算出部件故障的条件下计算系统在特定性能水平上运行的概率，减少了计算的冗余性。实验结果表明，该方法在模型的大小和构建时间上均优于传统方法。该方法的提出将对系统操作员或程序设计者具有重要意义，使其确保系统适合预期应用。     

核电厂应急监测计划的关键问题及探讨

应急监测计划是核电厂应急计划的重要支持性文件,是核电厂应急监测准备和响应的重要依据。本文从核电厂事故应急监测方案、监测方法、监测设施设备配置、应急监测响应、监测能力的保持、质量保证等关键问题进行分析研究,提出相关建议,为核电厂应急监测计划的制订提供参考。     

基于过程与场景分析的航天应用软件测试方法

航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点，如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例，提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术，绘制软件系统运行流程图、阶段分析图，建立可表述软件系统级行为的场景树模型和场景树图；根据测试充分性要求，提出基于场景树图的路径覆盖准则，给出满足路径覆盖准则的测试用例集自动化生成算法；结合工程实例，给出了方法应用数据，开展测试结果分析。验证结果表明该测试方法是可行的和有效的，能够保障软件测试的充分性。     

脱硫胶粉在乳化改性沥青中的应用

考察了不同规格胶粉及不同脱硫程度的脱硫胶粉对橡胶改性乳化沥青性能的影响,结果表明,采用100目胶粉即可制备出橡胶改性乳化沥青,但乳化沥青的性能较差;采用活化度为50%左右的100目脱硫胶粉制备乳化沥青时,脱硫胶粉的用量相比于胶粉可大幅提高;在通过外掺100目50%左右活化度的脱硫胶粉(质量分数15%,以沥青计,下同)和质量分数2%的苯乙烯-丁二烯-苯乙烯嵌段共聚物改性的乳化沥青中添加质量分数1%的丁苯胶乳,所制备橡胶改性乳化沥青无筛上剩余物,5 d储存稳定性为2.9%,蒸发残留物的25℃针入度、软化点和5℃延度分别为55 (0.1 mm)、64.5℃和22.5 cm,能够满足乳化改性沥青的技术指标要求。     

GBS-35型定向钻进铺管钻机的研制与应用

介绍了GBS-35型定向钻进铺管钻机的结构特点、技术规格、生产试验及施工情况等。     

我国首部《预应力钢结构技术规程》(CECS212∶2006)的进展

对我国《预应力钢结构技术规程》的编制过程、重要参数的取值方法进行介绍并针对各位专家、学者对“规程”征求意见稿提出的部分重要问题,进行总结和回复。     

几种相关新旧公路规范荷载效应的比较

对现行的JTGD60—2004《公路桥涵设计通用规范》、CJJ77—1998《城市桥梁设计荷载标准》与原来的JTJ021—1989《公路桥涵设计通用规范》之间不同荷载方式和取值进行了比较,并分别对他们引起的荷载效应之间存在的实际差异进行了比较和分析,从而给老桥改扩建和利用时,经常碰见的上述三个规范、标准之间的比较问题提供了切实可行的依据。